Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
921	Compiling Little Languages in Python John Aycock Department of Computer Science University of Victoria Victoria, B.C., Canada Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2001-06-12 15:21:46 Programming language implementation Parsing Formal languages Subroutines Attribute grammar Compiler Main function Lexical analysis Java Software engineering Computing Compiler construction
922	Nexus Authorization Logic (NAL): Design Rationale and Applications ¨ SIRER, Cornell University FRED B. SCHNEIDER, KEVIN WALSH, and EMIN GUN Nexus Authorization Logic (NAL) provides a principled basis for specifying and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-20 15:34:11 Metalogic Mathematical logic First-order logic Predicate logic Well-formed formula Logic programming Interpretation Logic Model theory Formal languages
923	Extending Grammars and Metamodels for Reuse The Reuseware Approach Jakob Henriksson Florian Heidenreich Jendrik Johannes Steffen Zschaler Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2008-02-28 05:49:09 Programming paradigms Compiler construction Web services Notation Programming language Function composition XML SQL Domain-specific language Computing Software engineering Formal languages
924	Dependency Pairs are a Simple Semantic Path Ordering Nachum Dershowitz School of Computer Science, Tel Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Rewriting Monotonic function Monotonicity criterion Abstraction Mathematics Formal languages Logic in computer science
925	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
926	L4: Engineering of MT and CAT systems Christian BOITET GETALP-LIG-UJF, Grenoble, France © Ch. Boitet —!NII MT lectures Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:55 Ethology Computational linguistics Q-systems Rewriting Language Linguistics C Science Formal languages Mathematics
927	Extracted from: Programming Ruby 1.9 The Pragmatic Programmers’ Guide This PDF file contains pages extracted from Programming Ruby 1.9, published by the Pragmatic Bookshelf. For more Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-01-31 14:04:12 Pattern matching Formal languages Regular expressions Scripting languages Automata theory Glob String TRE Ruby Computing Software engineering Computer programming
928	Example and Overview Describing Syntax Lexical Analysis Syntax Analysis Synthesis Using Attributes Sources Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2006-04-27 12:24:52 Programming language implementation Computing Parsing Lexical analysis Regular expression Syntax Compiler LL parser Formal grammar Formal languages Software engineering Compiler construction
929	From last week Social Laws Symbolic Representations Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:54 Reasoning Formal languages Logical syntax Mathematical logic Metalogic Well-formed formula Reason Norm Logic Knowledge Science
930	Bailey, T. M. & Pothos, E. MAGL StimSelect: Software for automated selection of stimuli for artificial grammar learning. Behavior Research Methods, 40(1), ppdoi: BRM Add to Reading List Source URL: openaccess.city.ac.uk Language: English - Date: 2014-11-10 09:32:10 Formal languages Formal grammar Indirect tests of memory

UPDATE